- slaman
- curdled milk, Irish slamanna, clots, flakes (O'Cl.), Early Irish slaimred (na fola). Cf. lommen, gulp.
Etymological dictionary of the Gaelic language. Alexander Gairm Publications. 1982.
Etymological dictionary of the Gaelic language. Alexander Gairm Publications. 1982.
Theodore Slaman — Theodore Allen Slaman is a professor of mathematics at the University of California, Berkeley who works in recursion theory. Slaman and W. Hugh Woodin formulated the Bi interpretability Conjecture for the Turing degrees, which conjectures that… … Wikipedia
Theodore A. Slaman — Theodore Allan Slaman (* 17. April 1954) ist ein US amerikanischer mathematischer Logiker. Ted Slaman in Berkeley Slaman studierte zunächst Physik an der Pennsylvania State University, wechselte dann aber zur mathematischen Logik und promovierte… … Deutsch Wikipedia
šlamantas — šlamañtas sm. (2) Prl gabalas: Atsivežiau didelį duonos šlamañtą, tai visi pavalgysim Alv … Dictionary of the Lithuanian Language
Turing degree — Post s problem redirects here. For the other Post s problem , see Post s correspondence problem. In computer science and mathematical logic the Turing degree or degree of unsolvability of a set of natural numbers measures the level of algorithmic … Wikipedia
Computability theory — For the concept of computability, see Computability. Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown … Wikipedia
Recursion theory — Recursion theory, also called computability theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown to include the study of generalized computability… … Wikipedia
Turing jump — In computability theory, the Turing jump or Turing jump operator, named for Alan Turing, is intuitively described as an operation that assigns to each decision problem X a successively harder decision problem X prime; with the property that X… … Wikipedia
Richard Shore — Infobox academic name = Richard A. Shore box width = image width = caption = birth date = birth place = death date = death place = residence = citizenship = USA nationality = ethnicity = field = Mathematics work institutions = Cornell University… … Wikipedia
Optical overheating protection — With all solar thermal collector systems there is a potential risk that the solar collector may reach an equilibrium or stagnation temperature higher than the maximum safe operating temperature. Various measures are taken for optical overheating… … Wikipedia
Richard A. Shore — Richard Arnold Shore (* 18. August 1946) ist ein US amerikanischer mathematischer Logiker, der sich vor allem mit Rekursionstheorie beschäftigt. Shore promovierte 1972 am Massachusetts Institute of Technology bei Gerald E. Sacks (Priority… … Deutsch Wikipedia
Reverse mathematics — is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. The method can briefly be described as going backwards from the theorems to the axioms. This contrasts with the ordinary… … Wikipedia